361. Natural language understanding
پدیدآورنده : Allen, James
موضوع : ، Programming languages )Electronic computers(- Semantics,، Language and logic,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
362. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
363. Natural language understanding
پدیدآورنده : / James Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Language and logic,Artificial intelligence
رده :
QA76
.
7
.
A44
1995
364. Natural language understanding and logic programming, II
پدیدآورنده : / edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
365. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
366. Natural language understanding and logic programming , III
پدیدآورنده : / edited by Charles Grant Brown, Gregers Koch
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic programming -- Congresses,Natural language processing(Computer science) -- Congresses
رده :
QA
76
.
63
.
I58
1991
367. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
پدیدآورنده : edited by Charles Grant Brown, Gregers Koch
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
368. Non-Monotonic extensions of extensions of logic programming:Iclp
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : logic programming
رده :
QA76
.
63
.
N65
1994
369. Non-deterministic concurrent logic programming in Pandora
پدیدآورنده : Bahgat, Reem
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming,، Pandora )Computer program language(
رده :
QA
76
.
63
.
B34
1993
370. Non-deterministic concurrent logic programming in Pandora
پدیدآورنده : Bahgat, Reem.
کتابخانه: (طهران)
موضوع : Logic programming , Pandora )Computer program language(
رده :
QA
76
.
63
.
B34
1993
371. Non-monotonic extensions of logic programming :
پدیدآورنده : Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
N68
1995
372. Non-monotonic extensions of logic programming : Second International Workshop NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
پدیدآورنده : Jurgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1216
373. Nonmonotonic and inductive logic : Second International Workshop Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
پدیدآورنده : G. Brewka, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
659
374. Nonmonotonic and inductive logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990: proceedings
پدیدآورنده : J. Dix, K.P. Jantke, P.H. Schmitt )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
543
375. Operations Research
پدیدآورنده : R.Panneerselvam
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Operations research,Mathematical optimization,Logic programming
رده :
658
,.
4032
,
P27
,
2007
376. Optimization and computational logic
پدیدآورنده : McAloon, Kenneth.
کتابخانه: (طهران)
موضوع : Linear programming , Mathematical optimization , Logic, Symbolic and mathematical
رده :
T
57
.
74
.
M39
1996
377. Over-constrained systems
پدیدآورنده : Michael Jampel, Eugene Freuder, Michael Maher, )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Constraints )Artificial intelligence(,، System analysis
رده :
QA
76
.
L28
Vol
.
1106
378. P-Functions and Boolean matrix factorization : a unified approch for wired, programmed, and microprogrammed implementations of discrete algorithms
پدیدآورنده : Thayse, Andre, 0491-
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic design,، Algorithms,، Algebra, Boolean
رده :
QA
76
.
L28
Vol
.
175
379. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: (طهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
380. P-Prolog a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: (طهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12V36
1987
